DVM-Tag 1993 "Elektroschrott '93"

Sno-str 1993 93-06

The requirements on a neutral current additive tc the heavy water in the SNO project are as follows: water solubility, low inherent radioactivity or the availability of an easy path of purification from thorium and radium, the possibility for easy separation from the water phase and safety. The solution of such an additive is expected to be transparent in the visible range, stable for extended ...

Technical Report 93 - 14 July 1993 Randy

Speculative computing is a technique to improve the execution time of certain applications by starting some computations before it is known that the computations are required. A speculative computation will eventually become mandatory (i.e. required) or irrelevant (i.e. not required). In the absence of side e ects irrelevant computations may be aborted. However, with side e ects a computation w...

JPRS - EST - 93 - 003 11 January 1993

CMU / SEI - 93 - TR - 024 ESC - TR - 93 - 177 February 1993 Capability Maturity

The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange. Permission to reproduce this document and to prepare derivative works from this document for internal use is granted, provided the copyright and " No Warranty " statements are included with all reproductions and derivative w...

CSL - 93 - 9 R • December 1993 , Substantially Revised June 1997

Datatypes in PVS Technical Report CSL-93-9R • December 1993, Substantially Revised June 1997